#ifndef PS_LOG_H
#define PS_LOG_H

#include <string>
#include "Postscript_Stream.h"
#include "FNF_Types.h"
#include "Pile.h"
#include "Iterators.h"

class PS_Log {
public:
    static Postscript_Stream *ps;
    static void open(const std::string& filename);
    static void close();
    static void print_fnf(fnf_graph_t& fnf);
    static void print(Pile& span, bool solid);
    static void print(Item **items, int size,
                      int start, int end, bool solid);
    static void show_title(const std::string& title);
};

#endif
